Abdulla, Parosh: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Vehicular Ad-Hoc Network: Evaluation of QoS and QoE for Multimedia Application

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 194 KB

english, 2016

2

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Verification of programs under the release-acquire semantics

Abdulla, Parosh Aziz, Arora, Jatin, Atig, Mohamed Faouzi, Krishna, Shankaranarayanan

Year:

2019

Language:

english

File:

PDF, 395 KB

english, 2019

3

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Hybrid Encryption Approach Using Dynamic Key Generation and Symmetric Key Algorithm for RFID Systems

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 982 KB

english, 2016

4

Parameterized verification

Abdulla, Parosh A., Delzanno, Giorgio

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 399 KB

english, 2016

5

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Verification of Common Business Rules in BPMN Process Models

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 467 KB

english, 2016

6

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Optimal dynamic partial order reduction

Abdulla, Parosh, Aronis, Stavros, Jonsson, Bengt, Sagonas, Konstantinos

Year:

2014

Language:

english

File:

PDF, 654 KB

english, 2014

7

Verification of heap manipulating programs with ordered data by extended forest automata

Abdulla, Parosh Aziz, Holík, Lukáš, Jonsson, Bengt, Lengál, Ondřej, Trinh, Cong Quy, Vojnar, Tomáš

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 953 KB

english, 2016

8

On The Complexity of Counter Reachability Games*

Reichert, Julien, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 171 KB

english, 2016

9

Interrupt Timed Automata with Auxiliary Clocks and Parameters*

Bérard, Beatrice, Haddad, Serge, Jovanović, Aleksandra, Lime, Didier, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 236 KB

english, 2016

10

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Trau: SMT solver for string constraints

Abdulla, Parosh Aziz, Faouzi Atig, Mohamed, Chen, Yu-Fang, Diep, Bui Phi, Holik, Lukas, Rezine, Ahmed, Rummer, Philipp

Year:

2018

Language:

english

File:

PDF, 252 KB

english, 2018

11

Monotonic Abstraction in Parameterized Verification

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 4.02 MB

english, 2008

12

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Nearest Neighbors Graph Construction: Peer Sampling to the Rescue

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 2.51 MB

english, 2016

13

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Traffic Lights Optimization with Distributed Ant Colony Optimization Based on Multi-agent System

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 1.56 MB

english, 2016

14

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Infinite-State Verification: From Transition Systems to Markov Chains

Abdulla, Parosh Aziz

Year:

2009

Language:

english

File:

PDF, 117 KB

english, 2009

15

Ensuring completeness of symbolic verification methods for infinite-state systems

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 178 KB

english, 2001

16

An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures

Abdulla, Parosh Aziz, Haziza, Frédéric, Holík, Lukáš, Jonsson, Bengt, Rezine, Ahmed

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 1.46 MB

english, 2016

17

[ACM Press the 35th ACM SIGMOD-SIGACT-SIGAI Symposium - San Francisco, California, USA (2016.06.26-2016.07.01)] Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '16 - Recency-Bounded Verification of Dynamic Database-Driven Systems

Abdulla, Parosh Aziz, Aiswarya, C., Atig, Mohamed Faouzi, Montali, Marco, Rezine, Othmane

Year:

2016

Language:

english

File:

PDF, 943 KB

english, 2016

18

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Data Communicating Processes with Unreliable Channels

Abdulla, Parosh Aziz, Aiswarya, C., Atig, Mohamed Faouzi

Year:

2016

Language:

english

File:

PDF, 422 KB

english, 2016

19

Relating Reachability Problems in Timed and Counter Automata

Haase, Christoph, Ouaknine, Joël, Worrell, James, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 188 KB

english, 2016

20

[IEEE 2019 International Conference on Advanced Science and Engineering (ICOASE) - Zakho - Duhok, Iraq (2019.4.2-2019.4.4)] 2019 International Conference on Advanced Science and Engineering (ICOASE) - The quest for the correctness of computer systems: The program verification approach

Abdulla, Parosh A.

Year:

2019

File:

PDF, 6.42 MB

2019

21

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jonsson, Yih-Kuen Tsay

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 180 KB

english, 2000

22

COMPOSED BISIMULATION FOR TREE AUTOMATA

ABDULLA, PAROSH AZIZ, BOUAJJANI, AHMED, HOLÍK, LUKÁŠ, KAATI, LISA, VOJNAR, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 219 KB

english, 2009

23

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 482 KB

english, 1996

24

Tree regular model checking: A simulation-based approach

Parosh Aziz Abdulla, Axel Legay, Julien d’Orso, Ahmed Rezine

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 319 KB

english, 2006

25

A New Sandpile Model with Smoothness Assumptions

Brocchi, Stefano, Massazza, Paolo, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 398 KB

english, 2016

26

Using Forward Reachability Analysis for Verification of Lossy Channel Systems

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

27

Simulating perfect channels with probabilistic lossy channels

Parosh Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 266 KB

english, 2005

28

Model checking race-freeness

Abdulla, Parosh Aziz, Haziza, Frédéric, Kindahl, Mats

Journal:

ACM SIGARCH Computer Architecture News

Year:

2009

Language:

english

File:

PDF, 367 KB

english, 2009

29

Adding Data Registers to Parameterized Networks with Broadcast

Delzanno, Giorgio, Sangnier, Arnaud, Traverso, Riccardo, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 275 KB

english, 2016

30

Optimal stateless model checking under the release-acquire semantics

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Jonsson, Bengt, Ngo, Tuan Phong

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

File:

PDF, 711 KB

2018

31

[ACM Press the 38th ACM SIGMOD-SIGACT-SIGAI Symposium - Amsterdam, Netherlands (2019.06.30-2019.07.05)] Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '19 - Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding

Abdulla, Parosh Aziz, Aiswarya, C., Atig, Mohamed Faouzi, Montali, Marco

Year:

2019

Language:

english

File:

PDF, 2.54 MB

english, 2019

32

AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS

ABDULLA, PAROSH AZIZ, DELZANNO, GIORGIO, REZINE, AHMED

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 304 KB

english, 2011

33

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Computing Optimal Coverability Costs in Priced Timed Petri Nets

Abdulla, Parosh Aziz, Mayr, Richard

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

34

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata

Parosh A. Abdulla, Lukáš Holík, Lisa Kaati, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

35

[IEEE 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Bratislava, Slovakia (2018.6.25-2018.6.29)] 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Complexity of Reachability for Data-Aware Dynamic Systems

Abdulla, Parosh Aziz, Aiswarya, C., Atig, Mohamed Faouzi, Montali, Marco, Rezine, Othmane

Year:

2018

Language:

english

File:

PDF, 276 KB

english, 2018

36

Preface

Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 20 KB

english, 2016

37

Undecidable Verification Problems for Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 1.79 MB

english, 1996

38

Parameterized verification through view abstraction

Abdulla, Parosh, Haziza, Frédéric, Holík, Lukáš

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 2.69 MB

english, 2016

39

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || A Fuzzy AHP Approach to Network Selection Improvement in Heterogeneous Wireless Networks

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 1.80 MB

english, 2016

40

Constructing Minimal Coverability Sets

Piipponen, Artturi, Valmari, Antti, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 177 KB

english, 2016

41

Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities

Mayr, Ernst W., Weihmann, Jeremias, Abdulla, Parosh Aziz, Demri, StÃ©phane, Finkel, Alain, Leroux, JÃ©rÃ´me, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

File:

PDF, 318 KB

2016

42

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Infinite-state energy games

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Hofman, Piotr, Mayr, Richard, Kumar, K. Narayan, Totzke, Patrick

Year:

2014

Language:

english

File:

PDF, 359 KB

english, 2014

43

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Exploiting Concurrency in Domain-Specific Data Structures: A Concurrent Order Book and Workload Generator for Online Trading

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 612 KB

english, 2016

44

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || A Multi-channel Energy Efficient Cooperative MIMO Routing Protocol for Clustered WSNs

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 1.93 MB

english, 2016

45

Model checking of systems with many identical timed processes

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

46

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || The 4-Octahedron Abstract Domain

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 196 KB

english, 2016

47

Regular model checking for LTL(MSO)

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d’Orso, Mayank Saksena

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.73 MB

english, 2012

48

[Lecture Notes in Computer Science] Reachability Problems Volume 8169 ||

Abdulla, Parosh Aziz, Potapov, Igor

Year:

2013

Language:

english

File:

PDF, 3.65 MB

english, 2013

49

[Lecture Notes in Computer Science] Networked Systems Volume 9944 ||

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 25.17 MB

english, 2016

50

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Transactional Pointers: Experiences with HTM-Based Reference Counting in C++

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 563 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски